21. Formal hardware verification : methods and systems in comparison
پدیدآورنده : Thomas Kropf, )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Design and construction -- Data processing ، Integrated circuits -- Very large scale integration,، Integrated circuits -- Verification,، Computer-aided design
رده :
QA
76
.
L28
Vol
.
1287
22. Fundamentals of computer-aided circuit simulation
پدیدآورنده : McCalla, William J,William J. McCalla
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Integrated circuits- Very large scale integration- Design and construction- Data processing,، Computer-aided design
رده :
TK
7874
.
M355
1988
23. Fundamentals of computer-aided circuit simulation
پدیدآورنده : McCalla, William J.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Integrated circuits- Very large scale integration-Design and construction-Data processing,، Computer-aided design
رده :
TK
7874
.
M355
24. High-level VLSI synthesis
پدیدآورنده : edited by Raul Camposano and Wayne Wolf
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع : Integrated circuits - Very large scale integration - Design and construction - Data processing,Computer-aided design
رده :
TK
7874
.
H5243
1991
25. High-level test synthesis of digital VLSI circuits
پدیدآورنده : Lee, Mike Tien-Chien
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Integrated circuits-- Very large scale integration-- Design and construction-- Data processing,، Integrated circuits-- Very large scale integration-- Testing-- Data processing,، Computer-aided design,، Digital integrated circuits-- Testing-- Data processing
رده :
TK
7874
.
75
.
L44
1997
26. High-performance digital VLSI circuit design
پدیدآورنده : Gu, Richard X.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Digital integrated circuits-- Design and construction-- Data processing,، Integrated circuits-- Very large scale integration-- Design and construction-- Data processing,، Computer-aided design
رده :
TK
7874
.
65
.
G8
1996
27. Integrated circuit defect-sensitivity : theory and computational models
پدیدآورنده : by Jose Pineda de Gyvez
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (تهران)
موضوع : Integrated circuits - Very large scale integration - Design and construction - Data processing,Integrated circuits - Very large scale integration - Defects - Mathematical models,Computer-aided design
رده :
TK
7874
.
P53
1993
28. Introduction to VLSI design
پدیدآورنده : Fabricius, Eugene D.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Integrated circuits- Very large scale integration- Design and construction- Data processing,، Computer- aided design
29. Introduction to VLSI design
پدیدآورنده : Eugene D. fabricius
موضوع : Integrated circuits--Very large scale integration--Design and construction - Data processing,Computer - Aided design
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
30. Introduction to VLSI design
پدیدآورنده : Fabricius, Eugene D.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Very large scale integration - Design and construction - Data processing ، Integrated circuits,، Computer-aided design
رده :
TK
7874
.
F33
1990
31. Mixed- mode simulation
پدیدآورنده : by Resve A. Saleh and A. Richard Newton
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Integrated circuits - Very large scale integration - Design and construction - Data processing,Integrated circuits - Very large scale integration - Computer simulation,Computer - aided design
رده :
TK
,
7874
,.
S23
,
1990
32. Multi-level simulation for VLSI design
پدیدآورنده : by Dwight D. Hill, David R. Coelho
موضوع : Integrated circuits - Very large scale integration - Design and construction - Data processing,Computer-aided design
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
33. Parallel algorithms for VLSI computer-aided design applications
پدیدآورنده : Banerjee, Prithviraj.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Integrated circuits - Very large scale integration - Design and construction - Data processing , Computer-aided design , Computer algorithms , Parallel processing )Electronic computers(
رده :
TK
7874
.
75
.
B36
1994
34. Paths, flows, and VLSI-layout
پدیدآورنده : Bernhard Korte ... )et al.(, editors
موضوع : Integrated circuits - Very large scale integration - Design and construction - Data processing,Computer-aided design
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
35. Routing in the third dimension : from VLSI chips to MCMs
پدیدآورنده : Sherwani, Naveed A.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Integrated circuits - Very large scale integration - Design and construction - Data processing , Multichip modules )Microelectronics( - Design and construction - Data processing, Computer-aided design
رده :
TK
7874
.
75
.
S43
36. Selected papers on computer-aided design of very large scale integrated circuits
پدیدآورنده : edited by Alberto L. Sangiovanni-Vincentelli
موضوع : Integrated circuits - Very large scale integration - Design and construction - Data processing,Computer-aided design
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
37. Selected papers on computer-aided design of very large scale integrated circuits
پدیدآورنده : edited by Alberto L. Sangiovanni-Vincentelli
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Integrated circuits- Very large scale integration- Design and construction- Data processing,، Computer-aided design
رده :
TK
7874
.
S413
38. Selected papers on computer-aided design of very large scale integrated circuits
پدیدآورنده : edited by Alberto L. Sangiovanni-Vincentelli
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Very large scale integration - Design and construction - Data processing ، Integrated circuits,، Computer-aided design
رده :
TK
7874
.
S413
1987